Rewriting Systems for Reachability in Vector Addition Systems with Pairs

15 pagesInternational audienceWe adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting systems and strategies, that allow us to obtain reachability equivalence results between some classes of VASP and VASS. Reachability for the later is well known be equivalent to reachability in Petri nets. VASP generalize also Branching Extension of VASS (BVASS) for which it is unknown if they are more expressive than VASS. We consider here a more restricted notion of reachability for VASP than that for BVASS. However the reachability decision problem corresponding is already equivalent to decidability of the provability in Multiplicative and Exponential Linear Logic (MELL), a question left open for more than 20 years

On Functionality of Visibly Pushdown Transducers

Visibly pushdown transducers form a subclass of pushdown transducers that (strictly) extends finite state transducers with a stack. Like visibly pushdown automata, the input symbols determine the stack operations. In this paper, we prove that functionality is decidable in PSpace for visibly pushdown transducers. The proof is done via a pumping argument: if a word with two outputs has a sufficiently large nesting depth, there exists a nested word with two outputs whose nesting depth is strictly smaller. The proof uses technics of word combinatorics. As a consequence of decidability of functionality, we also show that equivalence of functional visibly pushdown transducers is Exptime-Complete.Comment: 20 page

Unary Pushdown Automata and Straight-Line Programs

We consider decision problems for deterministic pushdown automata over a unary alphabet (udpda, for short). Udpda are a simple computation model that accept exactly the unary regular languages, but can be exponentially more succinct than finite-state automata. We complete the complexity landscape for udpda by showing that emptiness (and thus universality) is P-hard, equivalence and compressed membership problems are P-complete, and inclusion is coNP-complete. Our upper bounds are based on a translation theorem between udpda and straight-line programs over the binary alphabet (SLPs). We show that the characteristic sequence of any udpda can be represented as a pair of SLPs---one for the prefix, one for the lasso---that have size linear in the size of the udpda and can be computed in polynomial time. Hence, decision problems on udpda are reduced to decision problems on SLPs. Conversely, any SLP can be converted in logarithmic space into a udpda, and this forms the basis for our lower bound proofs. We show coNP-hardness of the ordered matching problem for SLPs, from which we derive coNP-hardness for inclusion. In addition, we complete the complexity landscape for unary nondeterministic pushdown automata by showing that the universality problem is $\Pi_2 \mathrm P$-hard, using a new class of integer expressions. Our techniques have applications beyond udpda. We show that our results imply $\Pi_2 \mathrm P$-completeness for a natural fragment of Presburger arithmetic and coNP lower bounds for compressed matching problems with one-character wildcards

Design, simulation and fabrication process of a SOI based 2-DOF vibratory gyroscope

This paper reports the design, simulation and fabrication process for a 2-DOF decoupled vibratory gyroscope. The structure is deliberately designed to have decoupled drive and sense mode oscillation to prevent unstable operation due to mechanical coupling, resulting in low zero rate out-put drift. At the same time, the closer the drive and sense resonances are, the higher is the angular rate resolution of the gyroscope. This can be achieved by using symmetric suspensions, but it results in reduced bandwidth. The proposed design has been configured to achieve about 150 Hz bandwidth, while ensuring decoupled operation of the drive and sense modes. Fem analysis has been carried out in CoventorWare® MEMS DESIGN software and simulation results show that the drive resonance occurs at 21.48 kHz and sense resonance at 21.63 kHz. The structure is designed for 15 µm this device layer. Fabrication of the design is proposed using DRIE and sacrificial release etching on SOI wafer. DRIE etching with high aspect ratio has been successfully carried out as desired and the results have been presented

Diagnosis of biliary tract and ampullary carcinomas

Diagnostic methods for biliary tract carcinoma and the efficacy of these methods are discussed. Neither definite methods for early diagnosis nor specific markers are available in this disease. When this disease is suspected on the basis of clinical symptoms and risk factors, hemato-biochemical examination and abdominal ultrasonography are performed and, where appropriate, enhanced computed tomography (CT) and/or magnetic resonance cholangiopancreatography (MRCP) is carried out. Diagnoses of extrahepatic bile duct cancer and ampullary carcinoma are often made based on the presence of obstructive jaundice. Although rare, abdominal pain and pyrexia, as well as abnormal findings of the hepatobiliary system detected by hemato-biochemical examination, serve as a clue to making a diagnosis of these diseases. On the other hand, the early diagnosis of gallbladder cancer is scarcely possible on the basis of clinical symptoms, so when this cancer is found with the onset of abdominal pain and jaundice, it is already advanced at the time of detection, thus making a cure difficult. When gallbladder cancer is suspected, enhanced CT is carried out. Multidetector computed tomography (MDCT), in particular — one of the methods of enhanced CT — is useful for decision of surgical criteria, because MDCT shows findings such as localization and extension of the tumor, and the presence or absence of remote metastasis. Procedures such as magnetic resonance imaging, endoscopic ultrasonography, bile duct biopsy, and cholangioscopy should be carried out taking into account indications for these procedures in individual patients. However, direct biliary tract imaging is necessary for making a precise diagnosis of the horizontal extension of bile duct cancer

Anemia prevalence in women of reproductive age in low- and middle-income countries between 2000 and 2018

Anemia is a globally widespread condition in women and is associated with reduced economic productivity and increased mortality worldwide. Here we map annual 2000–2018 geospatial estimates of anemia prevalence in women of reproductive age (15–49 years) across 82 low- and middle-income countries (LMICs), stratify anemia by severity and aggregate results to policy-relevant administrative and national levels. Additionally, we provide subnational disparity analyses to provide a comprehensive overview of anemia prevalence inequalities within these countries and predict progress toward the World Health Organization’s Global Nutrition Target (WHO GNT) to reduce anemia by half by 2030. Our results demonstrate widespread moderate improvements in overall anemia prevalence but identify only three LMICs with a high probability of achieving the WHO GNT by 2030 at a national scale, and no LMIC is expected to achieve the target in all their subnational administrative units. Our maps show where large within-country disparities occur, as well as areas likely to fall short of the WHO GNT, offering precision public health tools so that adequate resource allocation and subsequent interventions can be targeted to the most vulnerable populations.Peer reviewe

Mapping local patterns of childhood overweight and wasting in low- and middle-income countries between 2000 and 2017

A double burden of malnutrition occurs when individuals, household members or communities experience both undernutrition and overweight. Here, we show geospatial estimates of overweight and wasting prevalence among children under 5 years of age in 105 low- and middle-income countries (LMICs) from 2000 to 2017 and aggregate these to policy-relevant administrative units. Wasting decreased overall across LMICs between 2000 and 2017, from 8.4 (62.3 (55.1�70.8) million) to 6.4 (58.3 (47.6�70.7) million), but is predicted to remain above the World Health Organization�s Global Nutrition Target of <5 in over half of LMICs by 2025. Prevalence of overweight increased from 5.2 (30 (22.8�38.5) million) in 2000 to 6.0 (55.5 (44.8�67.9) million) children aged under 5 years in 2017. Areas most affected by double burden of malnutrition were located in Indonesia, Thailand, southeastern China, Botswana, Cameroon and central Nigeria. Our estimates provide a new perspective to researchers, policy makers and public health agencies in their efforts to address this global childhood syndemic. © 2020, The Author(s)

Global, regional, national, and selected subnational levels of stillbirths, neonatal, infant, and under-5 mortality, 1980�2015: a systematic analysis for the Global Burden of Disease Study 2015

Background Established in 2000, Millennium Development Goal 4 (MDG4) catalysed extraordinary political, financial, and social commitments to reduce under-5 mortality by two-thirds between 1990 and 2015. At the country level, the pace of progress in improving child survival has varied markedly, highlighting a crucial need to further examine potential drivers of accelerated or slowed decreases in child mortality. The Global Burden of Disease 2015 Study (GBD 2015) provides an analytical framework to comprehensively assess these trends for under-5 mortality, age-specific and cause-specific mortality among children under 5 years, and stillbirths by geography over time. Methods Drawing from analytical approaches developed and refined in previous iterations of the GBD study, we generated updated estimates of child mortality by age group (neonatal, post-neonatal, ages 1�4 years, and under 5) for 195 countries and territories and selected subnational geographies, from 1980�2015. We also estimated numbers and rates of stillbirths for these geographies and years. Gaussian process regression with data source adjustments for sampling and non-sampling bias was applied to synthesise input data for under-5 mortality for each geography. Age-specific mortality estimates were generated through a two-stage age�sex splitting process, and stillbirth estimates were produced with a mixed-effects model, which accounted for variable stillbirth definitions and data source-specific biases. For GBD 2015, we did a series of novel analyses to systematically quantify the drivers of trends in child mortality across geographies. First, we assessed observed and expected levels and annualised rates of decrease for under-5 mortality and stillbirths as they related to the Soci-demographic Index (SDI). Second, we examined the ratio of recorded and expected levels of child mortality, on the basis of SDI, across geographies, as well as differences in recorded and expected annualised rates of change for under-5 mortality. Third, we analysed levels and cause compositions of under-5 mortality, across time and geographies, as they related to rising SDI. Finally, we decomposed the changes in under-5 mortality to changes in SDI at the global level, as well as changes in leading causes of under-5 deaths for countries and territories. We documented each step of the GBD 2015 child mortality estimation process, as well as data sources, in accordance with the Guidelines for Accurate and Transparent Health Estimates Reporting (GATHER). Findings Globally, 5·8 million (95 uncertainty interval UI 5·7�6·0) children younger than 5 years died in 2015, representing a 52·0% (95% UI 50·7�53·3) decrease in the number of under-5 deaths since 1990. Neonatal deaths and stillbirths fell at a slower pace since 1990, decreasing by 42·4% (41·3�43·6) to 2·6 million (2·6�2·7) neonatal deaths and 47·0% (35·1�57·0) to 2·1 million (1·8-2·5) stillbirths in 2015. Between 1990 and 2015, global under-5 mortality decreased at an annualised rate of decrease of 3·0% (2·6�3·3), falling short of the 4·4% annualised rate of decrease required to achieve MDG4. During this time, 58 countries met or exceeded the pace of progress required to meet MDG4. Between 2000, the year MDG4 was formally enacted, and 2015, 28 additional countries that did not achieve the 4·4% rate of decrease from 1990 met the MDG4 pace of decrease. However, absolute levels of under-5 mortality remained high in many countries, with 11 countries still recording rates exceeding 100 per 1000 livebirths in 2015. Marked decreases in under-5 deaths due to a number of communicable diseases, including lower respiratory infections, diarrhoeal diseases, measles, and malaria, accounted for much of the progress in lowering overall under-5 mortality in low-income countries. Compared with gains achieved for infectious diseases and nutritional deficiencies, the persisting toll of neonatal conditions and congenital anomalies on child survival became evident, especially in low-income and low-middle-income countries. We found sizeable heterogeneities in comparing observed and expected rates of under-5 mortality, as well as differences in observed and expected rates of change for under-5 mortality. At the global level, we recorded a divergence in observed and expected levels of under-5 mortality starting in 2000, with the observed trend falling much faster than what was expected based on SDI through 2015. Between 2000 and 2015, the world recorded 10·3 million fewer under-5 deaths than expected on the basis of improving SDI alone. Interpretation Gains in child survival have been large, widespread, and in many places in the world, faster than what was anticipated based on improving levels of development. Yet some countries, particularly in sub-Saharan Africa, still had high rates of under-5 mortality in 2015. Unless these countries are able to accelerate reductions in child deaths at an extraordinary pace, their achievement of proposed SDG targets is unlikely. Improving the evidence base on drivers that might hasten the pace of progress for child survival, ranging from cost-effective intervention packages to innovative financing mechanisms, is vital to charting the pathways for ultimately ending preventable child deaths by 2030. Funding Bill & Melinda Gates Foundation. © 2016 The Author(s). Published by Elsevier Ltd. This is an Open Access article under the CC BY license